-
1 logical axiom
-
2 logical axiom
Большой англо-русский и русско-английский словарь > logical axiom
-
3 logical axiom
Вычислительная техника: логическая аксиома -
4 logical axiom
English-Russian dictionary of computer science and programming > logical axiom
-
5 logical axiom
-
6 logical axiom
Англо-русский словарь по исследованиям и ноу-хау > logical axiom
-
7 axiom
- action precondition axiom
- axiom of assignment
- axiom of iteration
- axiom of selection
- frame axiom
- logical axiom
- negative effect axiom
- positive effect axiom
- practicability axiom
- reducibility axiom
- self-organization axiom
- sequencing axiom
- successor state axiom
- unique name axiomEnglish-Russian dictionary of computer science and programming > axiom
-
8 axiom
-
9 sequencing axiom
-
10 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
11 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
12 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
13 логическая аксиома
Большой англо-русский и русско-английский словарь > логическая аксиома
-
14 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность• -
15 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
16 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
17 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
18 consequence
1. n следствие; последствие; результатharmful consequence — вредное последствие; вред
consequence in law — правовое, юридическое последствие
2. n вывод, заключениеit follows as a logical consequence that … — логическим выводом из этого является то, что …; отсюда следует, что …
3. n значение, важность4. n влиятельное положение, высокий постСинонимический ряд:1. conceit (noun) amour propre; complacence; complacency; conceit; conceitedness; egoism; egotism; narcissism; outrecuidance; pride; self-admiration; self-complacency; self-conceit; self-consequence; self-esteem; self-exaltation; self-glory; self-importance; self-love; self-opinion; self-pride; swelled head; swellheadedness; vainglory; vainness; vanity2. distinction (noun) distinction; elevation; magnitude; prominence; singularity; standing; value3. effect (noun) aftereffect; aftermath; causatum; corollary; effect; end; end product; event; eventuality; fruit; harvest; issue; outcome; outgrowth; precipitate; price; purpose; repercussion; result; sequel; sequence; upshot4. importance (noun) concern; import; importance; interest; moment; momentousness; pith; portent; significance; weight; weightiness5. status (noun) cachet; dignity; position; prestige; rank; state; stature; statusАнтонимический ряд:axiom; beginning; cause; commencement; inception; insignificance; meanness; origin; postulate; premise; preparation; rise; source -
19 philosophy
1. n философия2. n философская система, философская основа3. n основные принципы; основной подходWYSIWYG philosophy — принцип "что видишь то и получишь"
4. n философский подход к жизниphilosophy of life — житейская философия; уравновешенность, спокойствие
Синонимический ряд:1. aesthetics (noun) aesthetics; epistemology; ethics; metaphysics2. fundamental principle (noun) axiom; basis; conception; fundamental principle; law; postulate; precept; truth3. hypothesis (noun) hypothesis; theory; thought4. outlook (noun) approach; attitude; belief; conviction; ideology; opinion; outlook; position; view; viewpoint; weltanschauung5. study of truth (noun) critical study; logic; logical concept; reasoned doctrine; study of truth; systematic view; theory of knowledge
См. также в других словарях:
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Axiom of Causality — The Axiom of Causality is the proposition that everything in the universe has a cause and is thus an effect of that cause. This means that if a given event occurs, then this is the result of a previous, related event. If an object is in a certain … Wikipedia
Axiom schema of specification — For the separation axioms in topology, see separation axiom. In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or… … Wikipedia
Axiom — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck „Axiom“ wird in drei Grundbedeutungen verwendet. Er bezeichnet einen unmittelbar einleuchtenden Grundsatz, den… … Deutsch Wikipedia
Axiom of empty set — In set theory, the axiom of empty set is one of the axioms of Zermelo–Fraenkel set theory and one of the axioms of Kripke–Platek set theory. Formal statement In the formal language of the Zermelo–Fraenkel axioms, the axiom reads::exist x, forall… … Wikipedia
Axiom independence — Basic Definition and Requirements= An axiom P is independent if there is no other axiom Q such that Q implies P.In many cases independency is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an… … Wikipedia
Axiom of extensionality — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of… … Wikipedia
Axiom of infinity — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of infinity is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Fraenkel axioms,… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia